Lean (theorem prover) - .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)

Lean (theorem prover)

Lean 4

leanprover/lean4: Lean 4 programming language and theorem prover

Lean (証明アシスタント) - Wikipedia

Lean (proof assistant) - Wikipedia